On an implication connective of ${\rm RM}$.
نویسندگان
چکیده
منابع مشابه
Identifying an Honest ${\rm EXP}^{\rm NP}$ Oracle Among Many
We provide a general framework to remove short advice by formulating the following computational task for a function f : given two oracles at least one of which is honest (i.e. correctly computes f on all inputs) as well as an input, the task is to compute f on the input with the help of the oracles by a probabilistic polynomial-time machine, which we shall call a selector. We characterize the ...
متن کاملBank ownership, rm value and rm capital structure in Europe*
We investigate the role of banks in the ownership structure of non- nancial rms. Distinguishing between banks and other institutional investors as shareholders, we examine the relationship between nancial institution ownership and the performance of the rms in which they hold equity. We control explicitly for the capital structure decision of the rms and the ownership decision of nancial i...
متن کاملA RM-Polar Codes
Introduction: Polar codes are a major breakthrough in coding theory [1]. They can achieve Shannon capacity with a simple encoder and a simple successive cancellation (SC) decoder, both with low complexity of the order of ( ) N N log O , where N is the code block size. But for short and moderate lengths, the error rate performance of polar codes with the SC decoding is not as good as LDPC or tur...
متن کاملOn Interactions in the RM-ODP
The RM-ODP definition of interaction is subtle and difficult to understand. On closer inspection, we find that it is in fact invalid. We then attempt to establish the author’s original intentions for this concept, and to provide an effective definition. Our investigations lead us to discover some fundamental flaws in the definitions of interface and of behaviour of an object.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636612